mir: start handling resize events again

diff --git a/gdk/mir/gdkmireventsource.c b/gdk/mir/gdkmireventsource.c
index fedcd70a716e05c6ea78c98f415c70f29bd3da30..8b239be19103b9d88c8650522b79f051a6e3cbbd 100644 (file)
--- a/gdk/mir/gdkmireventsource.c
+++ b/gdk/mir/gdkmireventsource.c
@@ -504,6 +504,32 @@ handle_window_event (GdkWindow            *window,
     }
 }
 
+static void
+generate_configure_event (GdkWindow *window,
+                          gint       width,
+                          gint       height)
+{
+  GdkEvent *event;
+
+  event = gdk_event_new (GDK_CONFIGURE);
+  event->configure.send_event = FALSE;
+  event->configure.width = width;
+  event->configure.height = height;
+
+  send_event (window, get_pointer (window), event);
+}
+
+static void
+handle_resize_event (GdkWindow            *window,
+                     const MirResizeEvent *event)
+{
+  window->width = mir_resize_event_get_width (event);
+  window->height = mir_resize_event_get_height (event);
+  _gdk_window_update_size (window);
+
+  generate_configure_event (window, mir_resize_event_get_width (event), mir_resize_event_get_height (event));
+}
+
 static void
 handle_close_event (GdkWindow *window)
 {
@@ -570,6 +596,7 @@ gdk_mir_event_source_queue_event (GdkDisplay     *display,
       handle_window_event (window, mir_event_get_window_event (event));
       break;
     case mir_event_type_resize:
+      handle_resize_event (window, mir_event_get_resize_event (event));
       break;
     case mir_event_type_prompt_session_state_change:
       break;